Conjunctive query evaluation by search-tree revisited
نویسندگان
چکیده
منابع مشابه
Conjunctive Query Evaluation by Search Tree Revisited
The most natural and perhaps most frequently used method for testing membership of an individual tuple in a conjunctive query is based on searching trees of partial solutions, or search-trees. We investigate the question of evaluating conjunctive queries with a time-bound guarantee that is measured as a function of the size of the optimal search-tree. We provide an algorithm that, given a datab...
متن کاملConjunctive Query Containment Revisited
We consider the problems of conjunctive query containment and minimization, which are known to be NP-complete, and show that these problems can be solved in polynomial time for the class of acyclic queries. We then generalize the notion of acyclicity and deene a parameter called query width that captures the \degree of cyclicity" of a query: in particular, a query is acyclic if and only if its ...
متن کاملVerification of Conjunctive - Query Based
We introduce semantic artifacts, which are a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of an ontology, including the underlying data, and a set of actions to change such information over time. In this paper, the ontology is specified as a DL-Lite TBox together with an ABox that may contain both (known) constants and unk...
متن کاملConjunctive Query Entailment for SHOQ
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query entailment in the expressive Description Logic SHOQ. In particular, we present the first query entailment decision procedure for a logic that allows for nominals. We achieve this by adapting the query rewriting and r...
متن کاملConjunctive Query Containment over Trees
The complexity of containment and satisfiability of conjunctive queries over finite, unranked, labeled trees is studied with respect to the axes Child , NextSibling , their transitive and reflexive closures, and Following . For the containment problem a trichotomy is presented, classifying the problems as in PTIME, coNP-complete, or Π 2 -complete. For the satisfiability problem most problems ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.11.005